Nuprl Definition : set_blt
13,42
postcript
pdf
a
<
b
== (
a
(
)
b
)
(
(
b
(
)
a
))
latex
clarification:
a
<
p
b
== (
a
(
p
)
b
)
(
(
b
(
p
)
a
))
latex
Up
sets
1
Wellformedness Lemmas
set
blt
wf
Definitions
p
q
,
b
,
x
f
y
,
origin
b == (a (
) b) 
(
(b () a))
p b == (a (p) b) ((b (p) a)) b == (a () b) ((b () a))
p b == (a (p) b) ((b (p) a)) qb